1

Proof theory for quantified monotone modal logics

Year:
2019
Language:
english
File:
PDF, 850 KB
english, 2019
4

Proof-theoretic pluralism

Year:
2019
Language:
english
File:
PDF, 538 KB
english, 2019
13

Il libro a Bologna dal 1300 al 1330

Year:
1960
Language:
english
File:
PDF, 250 KB
english, 1960
14

Role of the Brain-Gut Axis in the Pathophysiology of Crohn’s Disease

Year:
2008
Language:
english
File:
PDF, 359 KB
english, 2008
17

Experimental investigation of a crossflow heat exchanger

Year:
1993
Language:
english
File:
PDF, 107 KB
english, 1993
18

Interpolation in Extensions of First-Order Logic

Year:
2019
Language:
english
File:
PDF, 465 KB
english, 2019
25

Logicality, Double-Line Rules, and Modalities

Year:
2018
Language:
english
File:
PDF, 584 KB
english, 2018
27

Free Quantified Epistemic Logics

Year:
2013
Language:
english
File:
PDF, 288 KB
english, 2013